Seminar Model Checking

SE 2 SS 2005 LVA 703622

Introduction | Lecturers | Time & Place | Course Material | Registration

Description

The aim of this seminar is the study of model checking algorithms. More precisely, we will focus on logics, such as LTL, CTL and μ-calculus. For these logics, we will study the semantics and both sequential and distributed algorithms for verifying properties in those logics.